#ifndef __EKOS_KERNEL_IPI_H__
#define __EKOS_KERNEL_IPI_H__

void ipi_handler(struct trapframe_t tf);

#endif
